least upper bound of poset